van der Meyden, C.H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Heroin-induced toxic leukoencephalopathy – “chasing the dragon” in South Africa

Schutte, Clara Maria, Sasikumar, Sunayna, Nchoe, Keorapetse, Kakaza, Mandisa, Ueckermann, Veronica, Van der Meyden, Cornelius H.

Journal:

Drugs and Alcohol Today

Year:

2017

Language:

english

File:

PDF, 160 KB

english, 2017

2

Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)

Ron van der Meyden, Leon van der Torre

Journal:

Journal of Applied Logic

Year:

2011

Language:

english

File:

PDF, 74 KB

english, 2011

3

Short-Term Antihypertensive Medication Does Not Exacerbate Sleep-Disordered Breathing in Newly Diagnosed Hypertensive Patients

Peter R Bartel, Magriet Loock, Pieter Becker, Elna Robinson, Cornelis van der Meyden, Steve Rossouw

Journal:

American Journal of Hypertension

Year:

1997

Language:

english

File:

PDF, 215 KB

english, 1997

4

Variation in survival of patients with prostate cancer in Europe since 1978

P.N Post, R.A.M Damhuis, A.P.M van der Meyden

Journal:

European Journal of Cancer

Year:

1998

Language:

english

File:

PDF, 115 KB

english, 1998

5

[Lecture Notes in Computer Science] Deontic Logic in Computer Science Volume 5076 || A Deontic Logic for Socially Optimal Norms

van der Meyden, Ron, van der Torre, Leendert

Year:

2008

Language:

english

File:

PDF, 379 KB

english, 2008

6

Knowledge in multiagent systems: initial configurations and broadcast

Lomuscio, Alessio R., van der Meyden, Ron, Ryan, Mark

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 239 KB

english, 2000

7

The Dynamics of Knowledge || Complete Axiomatizations for Reasoning about Knowledge and Branching Time

Ron van der Meyden and Ka-shu Wong

Journal:

Year:

2003

Language:

english

File:

PDF, 3.53 MB

english, 2003

8

Life-threatening Listeria meningitis: Need for revision of South African acute bacterial meningitis treatment guidelines

Schutte, C-M, Van der Meyden, C H, Kakaza, M, Lockhat, Z, Van der Walt, E

Journal:

South African Medical Journal

Year:

2019

Language:

english

File:

PDF, 2.30 MB

english, 2019

9

Tissue-specific markers in flow cytometry of urological cancers. II. Cytokeratin and vimentin in renal-cell tumors

W. F. J. Feitz, H. F. M. Karthaus, H. L. M. Beck, C. Romijn, A. P. M. van der Meyden, F. M. J. Debruyne, G. P. Vooijs, F. C. S. Ramaekers

Journal:

International Journal of Cancer

Year:

1986

Language:

english

File:

PDF, 1.16 MB

english, 1986

10

Significance of cerebrospinal fluid adenosine deaminase isoenzymes in tuberculous (TB) meningitis

C.-M. Schutte, J.P.J. Ungerer, H. du Plessis, C.H. van der Meyden

Journal:

Journal of Clinical Laboratory Analysis

Year:

2001

Language:

english

File:

PDF, 22 KB

english, 2001

11

The Complexity of Querying Indefinite Data about Linearly Ordered Domains

Ron van der Meyden

Journal:

Journal of Computer and System Sciences

Year:

1997

Language:

english

File:

PDF, 969 KB

english, 1997

12

Recursively indefinite databases

Ron van der Meyden

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 3.05 MB

english, 1993

13

Algorithmic Verification of Noninterference Properties

Ron van der Meyden, Chenyi Zhang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 340 KB

english, 2007

14

Model Checking Russian Cards

H.P. van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 286 KB

english, 2006

15

A comparison of semantic models for noninterference

Ron van der Meyden, Chenyi Zhang

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 634 KB

english, 2010

16

A prospective study of glasgow coma scale (GCS), age, CSF-neutrophil count, and CSF-protein and glucose levels as prognostic indicators in 100 adult patients with meningitis

C.-M. Schutte, C.H. van der Meyden

Journal:

Journal of Infection

Year:

1998

Language:

english

File:

PDF, 280 KB

english, 1998

17

A familial case of renal cell carcinoma and a t(2;3) chromosome translocation

Koolen, Marianne I, van der Meyden, Ad P M, Bodmer, Danielle, Eleveld, Marc, van der Looij, Erica, Brunner, Han, Smits, Arie, van den Berg, Eva, Smeets, Dominique, Geurts van Kessel, Ad

Journal:

Kidney International

Year:

1998

Language:

english

File:

PDF, 127 KB

english, 1998

18

Studien über die physischen Eigenschaften des Kautschuks

A. van Rossem, H. van der Meyden

Journal:

Colloid & Polymer Science

Year:

1926

Language:

german

File:

PDF, 985 KB

german, 1926

19

The Impact of HIV on Meningitis as Seen at a South African Academic Hospital (1994 to 1998)

C. M. Schutte, C. H. Van der Meyden, D.S. Magazi

Journal:

Year:

2000

Language:

english

File:

PDF, 118 KB

english, 2000

20

The effect of amlodipine on exercise-induced pulmonary hypertension and right heart function in patients with chronic obstructive pulmonary disease

I.-W. Franz, Jochen van der Meyden, S. Schaupp, Ulrich Tönnesmann

Journal:

Clinical Research in Cardiology

Year:

2002

File:

PDF, 167 KB

2002

21

Purification and properties of 8-hydroxy-5-deazaflavin derivatives from Streptomyces griseus

A.P.M. Eker, A. Pol, P. van der Meyden, G.D. Vogels

Journal:

FEMS Microbiology Letters

Year:

1980

Language:

english

File:

PDF, 287 KB

english, 1980

22

Effects of Zidovudine on B Lymphocyte Activation

Daniel Widney, Sigal Yawetz, Meta van der Meyden, Steven A. Miles, Tadamitsu Kishimoto, Otoniel Martı́nez-Maza

Journal:

Cellular Immunology

Year:

1994

File:

PDF, 643 KB

1994

23

Common Knowledge and Update in Finite Environments

Ron van der Meyden

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 660 KB

english, 1998

24

Lymph node biopsy as an aid in the diagnosis of intracranial tuberculosis

C.-M. Schutte, C.H. Van der Meyden, J.H. Labuscagne, D. Otto

Journal:

Tubercle and Lung Disease

Year:

1996

Language:

english

File:

PDF, 224 KB

english, 1996

25

Infiltration of Pseudomonas putida cells, strain 48, into xylem vessels of cut Rosa cv. ‘Sonia’

Henriëtte M.C. Put, T. van der Meyden

Journal:

Journal of Applied Microbiology

Year:

1988

Language:

english

File:

PDF, 1.66 MB

english, 1988

26

The effects of alprazolam, quazepam and diazepam on saccadic eye movements, parameters of psychomotor function and the EEG

MW Blom, PR Bartel, K. de Sommers, CH Van der Meyden, PJ Becker

Journal:

Fundamental & Clinical Pharmacology

Year:

1990

Language:

english

File:

PDF, 491 KB

english, 1990

27

The comparison of the effects of multi and single doses of buspirone, chlordiazepoxide and hydroxyzine on psychomotor function and EEG

MW Blom, PR Bartel, DK Sommers, CH Van Der Meyden, PJ Becker

Journal:

Fundamental & Clinical Pharmacology

Year:

1992

Language:

english

File:

PDF, 354 KB

english, 1992

28

Effects of chlorpromazine on pattern and flash ERG and VEP

P. Bartel, M. Blom, E. Robinson, C. Van Der Meyden, De K. Sommers

Journal:

Electroencephalography and Clinical Neurophysiology

Year:

1990

Language:

english

File:

PDF, 119 KB

english, 1990

29

Hypertension and sleep apnea in black South Africans a case control study

Peter R. Bartel, Magriet Loock, Cornelis van der Meyden, Elna Robinson, Pieter Becker

Journal:

American Journal of Hypertension

Year:

1995

Language:

english

File:

PDF, 560 KB

english, 1995

30

Complete Axiomatizations for Reasoning about Knowledge and Time

Halpern, Joseph Y., van der Meyden, Ron, Vardi, Moshe Y.

Journal:

SIAM Journal on Computing

Year:

2004

Language:

english

File:

PDF, 368 KB

english, 2004

31

Posterior tibial and sural nerve somatosensory evoked potentials in dystrophia myotonica

Peter Bartel, Barend Lotz, Elna Robinson, Cornelus Van der Meyden

Journal:

Journal of the Neurological Sciences

Year:

1985

Language:

english

File:

PDF, 585 KB

english, 1985

32

Effects of chlorpromazine on pattern and flash ERGs and VEPs compared to oxazepam and to placebo in normal subjects

P. Bartel, M. Blom, E. Robinson, C. Van der Meyden, De.K. Sommers, P. Becker

Journal:

Electroencephalography and Clinical Neurophysiology/Evoked Potentials Section

Year:

1990

Language:

english

File:

PDF, 707 KB

english, 1990

33

Information flow in systems with schedulers, Part I: Definitions

van der Meyden, Ron, Zhang, Chenyi

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 570 KB

english, 2013

34

[Lecture Notes in Computer Science] Model Checking and Artificial Intelligence Volume 6572 || Automatic Data-Abstraction in Model Checking Multi-Agent Systems

van der Meyden, Ron, Smaus, Jan-Georg

Year:

2011

Language:

english

File:

PDF, 288 KB

english, 2011

35

Information flow in systems with schedulers, Part II: Refinement

van der Meyden, Ron, Zhang, Chenyi

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 731 KB

english, 2013

36

[IEEE Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. - Pacific Grove, CA, USA (June 28-30, 2004)] Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. - Symbolic model checking the knowledge of the dining cryptographers

van der Meyden, R., Kaile Su,

Year:

2004

Language:

english

File:

PDF, 406 KB

english, 2004

37

[IEEE Comput. Soc 12th IEEE Computer Security Foundations Workshop - Mordano, Italy (28-30 June 1999)] Proceedings of the 12th IEEE Computer Security Foundations Workshop - A logic for SDSI's linked local name spaces: preliminary version

Halpern, J.Y., Van Der Meyden, R.

Year:

1999

Language:

english

File:

PDF, 192 KB

english, 1999

38

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Axioms for knowledge and time in distributed systems with perfect recall

Van Der Meyden, R.

Year:

1994

Language:

english

File:

PDF, 918 KB

english, 1994

39

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - The Complexity of Intransitive Noninterference

Eggert, Sebastian, van der Meyden, Ron, Schnoor, Henning, Wilke, Thomas

Year:

2011

Language:

english

File:

PDF, 442 KB

english, 2011

40

Containment and Optimization of Object-Preserving Conjunctive Queries

Chan, Edward P. F., van der Meyden, Ron

Journal:

SIAM Journal on Computing

Year:

2000

Language:

english

File:

PDF, 273 KB

english, 2000

41

[IEEE Comput. Soc 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003 - Cairns, Qld., Australia (8-10 July 2003)] 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. - Modal logics of knowledge and time

van der Meyden, R.

Year:

2003

File:

PDF, 186 KB

2003

42

Corrigendum

van der Meyden, Hans

Journal:

Journal of Adhesion Science and Technology

Year:

1993

Language:

english

File:

PDF, 38 KB

english, 1993

43

[IEEE 14th IEEE Computer Security Foundations Workshop, 2001. - Cape Breton, Novia Scotia, Canada (11-13 June 2001)] Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001. - A logical reconstruction of SPKI

Halpern, J.Y., van der Meyden, R.

Year:

2001

Language:

english

File:

PDF, 1.11 MB

english, 2001

44

PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE

Meyden, Ron van der

Journal:

International Journal of Foundations of Computer Science

Year:

2000

Language:

english

File:

PDF, 3.34 MB

english, 2000

45

Discrimination between Viral and Nonviral Meningitis by Visually Analyzed and Quantitative Electroencephalography

Bartel, P., Schutte, C.-M., Becker, P., van der Meyden, C.

Journal:

Clinical EEG and Neuroscience

Year:

1999

Language:

english

File:

PDF, 324 KB

english, 1999

46

Short-latency somatosensory evoked potentials in dystrophia myotonica.

Bartel, P R, Lotz, B P, Van der Meyden, C H

Journal:

Journal of Neurology Neurosurgery & Psychiatry

Year:

1984

Language:

english

File:

PDF, 887 KB

english, 1984

47

X linked severe mental retardation, craniofacial dysmorphology, epilepsy, ophthalmoplegia, and cerebellar atrophy in a large South African kindred is localised to Xq24-q27

Christianson, A. L., Stevenson, R. E., van der Meyden, C. H., Pelser, J., Theron, F. W., van Rensburg, P. L., Chandler, M., Schwartz, C. E.

Journal:

Journal of Medical Genetics

Year:

1999

Language:

english

File:

PDF, 215 KB

english, 1999

48

Logics for Emerging Applications of Databases || Logical Data Expiration

Chomicki, Jan, van der Meyden, Ron, Saake, Gunter

Year:

2004

Language:

english

File:

PDF, 4.89 MB

english, 2004

49

Consistent assignment of quantum probabilities

Patra, Manas K, van der Meyden, Ron

Journal:

Journal of Physics A Mathematical and Theoretical

Year:

2012

Language:

english

File:

PDF, 162 KB

english, 2012

50

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Intransitive noninterference in nondeterministic systems

Engelhardt, Kai, van der Meyden, Ron, Zhang, Chenyi

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012